#!/bin/bash
rm $1-k-*
rm $1-compiled*
